Probabilistically checkable proofs

Probabilistically Checkable Proofs

Probabilistically Checkable Proofs

Restricted probabilistically checkable proofs

In this work we provide some initial structural complexity results for classes of probabilistically checkable proof systems (PCPs) for nondeterministic NC (NNC) circuit families, as a first step towards characterizing probabilistic proof systems for P. One of the major successes of the characterization of NP as a class of PCPs (with polynomial time verifiers) is that it provides a route to prov...

Probabilistically Checkable Proofs and Codes

NP is the complexity class of problems for which it is easy to check that a solution is correct. In contrast, finding solutions to certain NP problems is widely believed to be hard. The canonical example is the sat problem: given a Boolean formula, it is notoriously difficult to come up with a satisfying assignment, whereas given a proposed assignment it is trivial to plug in the values and ver...

Fast approximate probabilistically checkable proofs

We investigate the question of when a verifier, with the aid of a proof, can reliably compute a function faster than it can without the proof. The proof system model that we use is based on a variant of the Probabilistically Checkable Proofs (PCP) model, in which a verifier can ascertain the correctness of the proof by looking at very few locations in the proof. However, known results in the PC...